$\forall$${\it es}$:ES, $A$:Type, $X$:AbsInterface($A$), $e$:E. ($e$ $\in_{b}$ $X$) $\in$ $\mathbb{B}$